Définition
Définition d'un morphisme de groupe :
- soient \((G,\cdot),(G^\prime,*)\) deux groupes
- soit \(\varphi: G\to G^\prime\)
- $$\forall x,y\in G,\qquad \varphi(x\cdot y)=\varphi(x)*\varphi(y)$$
$$\Huge\iff$$
- on dit que \(\varphi\) est un morphisme de groupe
Cas particuliers
Isomorphisme
Propriétés
Elément neutre
Image d'un élément neutre par un morphisme :
- \(f:G\to G^\prime\) est un morphisme
- \(e\) et \(e^\prime\) sont les éléments neutres de \(G\) et \(G^\prime\) respectivement
$$\Huge\iff$$
Elément d'un inverse
Image d'un inverse par un morphisme de groupes :
- \(f\) est un morphisme de groupe
$$\Huge\iff$$
- $$\forall x\in G,\qquad f(x^{-1})=f(x)^{-1}$$
Image d'un sous-groupe
Image d'un sous-groupe par un morphisme :
- soit \(f:G\to G^\prime\) un morphisme
- soit \(H\subset G\) un sous-groupe
$$\Huge\iff$$
- \(f(H)\) est un sous-groupe de \(G^\prime\)
Image réciproque
Image réciproque d'un sous-groupe par un morphisme :
- soit \(f:G\to G^\prime\) un morphisme
- soit \(H^\prime\subset G^\prime\) un sous-groupe
$$\Huge\iff$$
- \(f^{-1}(H^\prime)\) est un sous-groupe de \(G\)
Image
Définition :
Soit \(f:G\to G^\prime\) un morphisme de groupes
\(f(G)\) est un sous-groupe de \(G^\prime\), appelé image de \(f\) et noté \(\operatorname{Im}(f)\)
Surjectivité
Surjectivité d'un morphisme :
- soit \(f:G\to G^\prime\) un morphisme
- \(\operatorname{Im}(f)=G^\prime\)
$$\Huge\iff$$
Noyau
Définition :
Soit \(f:G\to G^\prime\) un morphisme de groupes
\(f^{-1}(\{e\})\) est un sous-groupe de \(G\), appelé noyau de \(f\) et noté \(\ker(f)\)
Injectivité
Injectivité d'un morphisme :
- soit \(f:G\to G^\prime\) un morphisme
- \(\ker(f)=\{e\}\)
$$\Huge\iff$$
Décomposition canonique
Définition :
Soit \(f:G\to G^\prime\) un morphisme
On définit la décomposition canonique de \(f\) : $${{\bar f}}:\begin{align}{{ G/\ker f}}&\longrightarrow{{\operatorname{Im} f}} \\ {{\bar x}}&\longmapsto{{\bar f(\bar x)=f(x)}}\end{align}$$ c'est un isomorphisme
(
Isomorphisme)